free theorems